SPQ-内射半模

设是右-半模,半模称为内射的,若任意的small-主子半模到的同态可扩张至到的同态.若是内射的,则称是内射半模.本文给出了内射半模的定义并刻画其相应性质.     

Efficient Feature Extraction Using Apache Spark for Network Behavior Anomaly Detection

Extracting and analyzing network traffic feature is fundamental in the design and implementation of network behavior anomaly detection methods. The traditional network traffic feature method focuses on the statistical features of traffic volume. However, this approach is not sufficient to reflect the communication pattern features. A different approach is required to detect anomalous behaviors that do not exhibit traffic volume changes,such as low-intensity anomalous behaviors caused by Denial of Service/Distributed Denial of Service(Do S/DDo S)attacks, Internet worms and scanning, and Bot Nets. We propose an efficient traffic feature extraction architecture based on our proposed approach, which combines the benefit of traffic volume features and network communication pattern features. This method can detect low-intensity anomalous network behaviors and conventional traffic volume anomalies. We implemented our approach on Spark Streaming and validated our feature set using labelled real-world dataset collected from the Sichuan University campus network. Our results demonstrate that the traffic feature extraction approach is efficient in detecting both traffic variations and communication structure changes.Based on our evaluation of the MIT-DRAPA dataset, the same detection approach utilizes traffic volume features with detection precision of 82.3% and communication pattern features with detection precision of 89.9%. Our proposed feature set improves precision by 94%.     

基于AHP的产城融合评价研究

通过阐述我国产城融合发展中存在的问题,筛选出影响产城融合的指标因素,构建了包括经济发展、城市化水平和配套设施3个指标在内的评价体系.利用AHP方法进行定性和定量分析,确定了指标的权重,同时建立了产城融合评价模型,可以明确城市发展阶段,为促进城市产城融合建设提供了一些思路.     

Backstepping approach to the adaptive regulator design for a one-dimensional wave equation with general input harmonic disturbance

This paper considers the parameter estimation and stabilization of an unstable one-dimensional wave equation with matched general harmonic disturbance at the controlled end. The backstepping method for infinite-dimensional system is adopted in the design of the adaptive regulator. It is shown that the resulting closed-loop system is asymptotically stable. Meanwhile, the estimated parameter is shown to be convergent to the unknown parameter as time goes to infinity.     

Glutenin macropolymer particles size distribution of six wheat varieties in eastern China

Size distribution of glutenin macropolymer(GMP) particles significantly affects the quality of final products in wheat. Six wheat varieties in eastern China were used for investigating the GMP content, particle size distribution and their relation. The results showed that the particle diameter of GMP changed from 0.38 μm to 269 μm. A typical bimodal curve of volume distribution of particles with peak values ranged from 4.44 μm to 5.36 μm and from 45.76 μm to 116.30 μm, respectively. Number distribution of particles showed the typical population with peak values in the range of 0.57-1.00 μm. Proportions of granules 12 μm, 12-80 μm and 80 μm were in the range of 17.1%-47.8%, 32.1%-50.3% and 10.2%-38.1% of total volume, respectively. The content of GMP was negatively correlated with the volume of GMP particles 12 μm, but positively correlated with the volume of particles 80 μm. The results suggested that the greater percentage of larger GMP particles is, the more GMP content there is in wheat grain.     

GPSNISNAV integrated relative navigation and attitude determination system for ultra-close spacecraft formation flying

For the improvement of accuracy and better fault-tolerant performance, a global position system (GPS)/vision navigation (VISNAV) integrated relative navigation and attitude determination approach is presented for ultra-close spacecraft formation flying. Onboard GPS and VISNAV system are adopted and a federal Kalman filter architecture is used for the total navigation system design. Simulation results indicate that the integrated system can provide a total improvement of relative navigation and attitude estimation performance in accuracy and fault-tolerance.     

腹腔镜胃癌根治术与传统胃癌根治术的临床效果比较

目的:比较腹腔镜胃癌根治术与传统胃癌根治术的临床效果。方法:回顾分析2010年10月至2013年10月大理大学附属医院行腹腔镜胃癌根治术及胃癌根治术共103例胃癌患者的临床资料,分析比较两组患者的临床效果。结果:应用腹腔镜组平均出血量为(153.05±11.71)m L,明显少于开腹手术的(278.45±12.65)m L(P<0.05)。腹腔镜组的平均术后恢复肛门排气时间(3.10±0.62)d,低于开腹手术组的(5.58±1.12)d(P<0.05)。腹腔镜组平均术后住院时间为(14.25±2.78)d,明显低于开腹手术的(22.07±3.59)d(P<0.05)。生存率:行腹腔镜手术者1年总生存率94.1%,开腹手术总生存率92.1%(P>0.05)。结论:腹腔镜胃癌根治术具有术中出血少、术后住院天数少、并发症少等优点,治疗效果与开腹手术相当。     

一种基于访问安全性MVC的Web系统开发模式

针对基于MVC的Web应用系统由于访问安全性代码和其他模块强耦合导致系统可维护性差、可重用性弱等问题,提出了一种适用于Web系统的基于访问安全性MVC的开发模式.给出了该模式的总体架构和运行流程,对实现该模式的     

基于流-固-损伤全耦合模型的裂隙型岩溶突涌水数值模拟

岩溶地区隧道建设频遇突涌水灾害,裂隙型突涌水勘察与预测难度极大、致灾风险高。为揭示裂隙型岩溶突涌水机理与明确前兆信息,本文基于“流-固-损伤”耦合模型对裂隙型岩溶突涌水致灾机理与临界条件展开研究。通过公式推演与多场耦合数值分析得到以下结论：(1)建立了完整的“流-固-损伤”耦合裂隙型岩溶突涌水致灾机理数学模型,并论证其可行性与合理性;(2)分析了不同溶腔水压工况下,隧道拱顶围岩位移演化规律。结果表明,裂隙型岩溶突涌水与富水溶腔水压高度相关;(3)分析了临界突水条件下围岩特性,提出了“缓慢增长段-快速增长段-位移失控段”的三阶段裂隙型岩溶突涌水围岩位移演化规律。     

智能化信息系统对飞行员视觉搜索特性的影响

为探究飞行员使用智能化信息系统的视觉搜索特性,设计以信息系统等级（交互式辅助系统和电子飞行手册）为自变量、以视觉搜索特性（视觉搜索特征和绩效水平）为因变量的对比实验,记录20名航线飞行员在模拟机实验场景中所关注的各人机交互界面的眼动数据,通过统计分析、构建视觉搜索绩效评估模型,反映飞行员视觉搜索特征及绩效水平。结果表明：两组飞行员的注视总持续时间、注视总持续时间占比、注视次数等视觉搜索特征存在显著差异,且随着信息系统智能化等级的提高,飞行员在单发失效和襟翼卡阻故障场景中的视觉搜索绩效水平有效提高且工作负荷降低。由此,验证了信息系统自动化程度的提高在复杂场景下能对飞行员的工作绩效产生正效应,可为驾驶舱人机交互界面的设计、优化及迭代提供理论参考,保证飞行安全。